A rationale for conditional equational programming
نویسندگان
چکیده
منابع مشابه
A Constructor-based Approach for Positive/negative-conditional Equational Speciications
We present a constructor-based approach for assigning appropriate semantics to algebraic speciications given by nite sets of positive/negative-conditional equations. Under the assumption of con-uence of the reduction relation we deene, the factor algebra of the ground term algebra modulo the congruence of this reduction relation is a minimal model which is (beyond that) the minimum of all model...
متن کاملA Constructor-Based Approach for Positive/Negative-Conditional Equational Specifications
We study algebraic speciications given by nite sets R of positive/negative-conditional equations (i. e. universally quantiied rst-order implications with a single equation in the succedent and a conjunction of positive and negative (i. e. negated) equations in the antecedent). The class of models of such a speciication R does not contain in general a minimum model in the sense that it can be ma...
متن کاملA parallel implementation of equational programming
A parallel implementation of rewriting and narrowing is described. This implementation is written in Flat Concurrent Prolog (FCP), but may be coded in any system in which processes are capable of creating other processes and communicating with each other. Running programs under the interpreter and using facilities provided by the FCP system, we obtain empirical evidence of parallel speed-up in ...
متن کاملStatic Analysis Techniques for Equational Logic Programming
An equational logic program is a set of directed equations or rules, which are used to compute in the obvious way (by replacing equals with “simpler” equals). We present static analysis techniques for efficient equational logic programming, some of which have been implemented in LR, a laboratory for developing and evaluating fast, efficient, and practical rewriting techniques. Two novel feature...
متن کاملEquational Programming : A Unifying Approach to Logic and Functional Programming
Bharat Jayaraman Department of Computer Science UniversitJI of North Carolina at Chapel Hill Chapel Hill, NC 1!151,4 Functional and logic languages have many similarities, but there are significant differences between them that the integration of functional and logic languages is a challenging problem. The approach presented in this paper is called equational programming. We show that equations...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 1990
ISSN: 0304-3975
DOI: 10.1016/0304-3975(90)90064-o